A Platform for Combining Deductive with Algorithmic Verification

机译：演绎与算法验证相结合的平台

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Amir Pnueli; Elad Shahar;
展开▼
作者单位

展开▼
年度 1996
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation [J] . Jean Fortin, Frederic Gava International journal of parallel programming . 2016,第3期

机译：BSP-为什么：带有子组同步的BSP算法演绎验证工具
2. Verification of clock synchronization algorithms: experiments on a combination of deductive tools [J] . Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu Formal Aspects of Computing . 2007,第3期

机译：验证时钟同步算法：结合演绎工具进行的实验
3. CAOVerif: An open-source deductive verification platform for cryptographic software implementations [J] . Jose Bacelar Almeida, Manuel Barbosa, Jean-Christophe Filliatre, Science of Computer Programming . 2014,第ptaB期

机译：CAOVerif：用于加密软件实现的开源演绎验证平台
4. Verifying transaction ordering properties in unbounded bus networks through combined deductive/algorithmic methods [C] . Michael Jones, Ganesh Gopalakrishnan International Conference on Formal Methods in Computer-Aided Design . 2000

机译：通过组合的演绎/算法方法验证无限的总线网络中的交易订购属性
5. Abstraction-based deductive-algorithmic verification of reactive systems. [D] . Uribe Restrepo, Tomas E. 1999

机译：反应系统基于抽象的演绎算法验证。
6. High-throughput screening platform for solid electrolytes combining hierarchical ion-transport prediction algorithms [O] . Bing He, Shuting Chi, Anjiang Ye, 2020

机译：结合分级离子迁移预测算法的固体电解质高通量筛选平台
7. Verifying Transaction Ordering Properties in Unbounded Bus Networks Through Combined Deductive/algorithmic Methods [O] . Michael Jones, Ganesh Gopalakrishnan 100

机译：通过演绎/算法相结合的方法验证无限制公交网络中的交易顺序属性
8. Hardware Verification Integrating Deductive With Algorithmic Technologies. [R] . Manna, Z. 2002

机译：硬件验证将演绎与算法技术相结合。

A Platform for Combining Deductive with Algorithmic Verification

著录项

引文网络

相似文献

相关主题

期刊订阅